perm filename CMIT10.360[360,GF] blob sn#868263 filedate 1989-01-10 generic text, type T, neo UTF8
{`dα&Q*Dλ#∪ie ⊂≠nW 8≥.B_N'βH↔ε∩p_Lπ#λ≤LεD 0Eβ! 
α@⊂↓∀pλ↓SaDpα`Thα↓ Dh↓A@D`↓A`D`↓A`4X↓B4X↓B4X↓B4P↓B4P↓B4P↓B0_↓R@08α`4P↓A@@_↓R`0 α@`4X↓@``⊂α∩a⊂λβSp⊂β∪@00↓Q(F⊂λ¬cQhα	 @%α	p_'i`_'i`_&@iP_↓↓	PX&C	@0αi@(βi@ β@i@_∧i0 ∧i0_∧@i0_∧@i0_∧@i _∧@i _∧@i _∧@i _∧i _βA	0_αA	0_α↓	@H&α	` "Q1⊂Eα@HαT!∃¬∪`@(↓S@@(α∪ @0α∪@@↓∪4X↓R`4X↓R@4P↓R@4P↓R`4X↓B`$`↓BT`πS!Tx∧⊃(F 
εCQhε↓jP@+↓k _,@k⊂_,@k⊂_,j  ↓j8@ip`'↓0(&AP &@`` &`p &`p_%@a_%@a_%@a_%a_%a_%a_↓@i _βA0_%`` ↓@i0_α↓ 0_%@`00↓↓	0HAi@8↓↓I`_βhT 2DC⊃ 
α Uλ∧∀↓$pαADpα↓@4h↓B4`α↓`D`↓A`DX↓@a∧XεRa4P↓@ 4P↓R@4P↓R`4X↓B`$`↓BT`πS!Tx∧⊃(F0
π¬↓hλAK H,BK⊂_α↓_α@k_α@k_,jp_)C* p)C*p_+@j`_+j`_+j`_+jP_*@jP_*@jP_*@j@_*j@_*j@_)@j0_)@j0_%@@P_%↓@_%↓0_%B)0@&AλT 3E#⊃x
α`@_↓∀aλ↓TAUλα↓Uα↓@E↓A`Dx↓BDx↓B4p↓B 4p↓B 4p↓B 4h↓B 4h↓B 4h↓B 4h↓BDh↓A`Dp↓A Tp↓Adxε∪a5λα@58↓U`50↓U@50↓U 4X↓↓`DPα↓ DPε∩A4`βQ(F@εCQh↓Ai@@&Aj⊂_(j_(j_'@ip_↓A	p_Aip`'↓`0 '↓ `_'↓p_'↓p_&Ap_&Ap_&@a_&@a_&↓p_&a_&a_↓@i@_β@`@_%@a_↓@i0_∧`0_%@`p_↓@i0_∧α	 _∧Ai0⊂¬@hT 4Dαqp∂β%(α∃ E0↓⊃``(α∪@th∧∪@_↓R`@ ↓R`0(↓R`0 ↓R` (↓T 5λ↓T 5↓T4x↓A 4x↓A 4x↓A4p↓A 4p↓A4x∧Sa¬λα⊃(FP
FE⊃p	K0 -A@⊂#AA0 )B
 H(A@_(@`P_(``_(``_(@`_,k_,jp_+@jp_+@j`_+j`_+jP_*@jP_*@j@_*j@_)@i0⊂αA	  ↓A	 P%α)@("Q
1(
π#P⊂∧∪↓∧`∧∀ 5↓T5↓T4x↓S`08α∪`0(βS`0 ∧S@0 α`4p↓@`@ ↓S@0⊂α↓Dp↓@ @(α∪ 0λα↓`$hβS dh∧∪↓$`↓AD`↓A 0(↓S00↓A4X↓A@0 ↓R`00↓A4X↓A@@⊂↓R`08∧∩@0Hβ∩` Pα⊃(F`ε¬CQhB) P%B*⊂_(j_(j_'@ip_'@ip_'i`_'i`_&@iP_&@iP_&i@_&`@_&`@_%@`P_%@`@_%A0_&α)P8'AλT 6FCA 
↓  _α↓@4x¬@@tx¬@!∧pβ↓`_↓S@P(αA4pα↓@@(↓S@@0α↓ 4hα↓@@(↓S @0α↓ 4h↓A`00↓S 08↓A 4`α↓@@(↓S08↓A@4`↓A`0(↓S08↓A 4X↓A`00↓R`08↓A@4X↓A`00↓R`08↓A@DP↓A`08α∩` @↓α4("≠BaP
¬@_αA	@0↓α	A%@` 0αi0_↓↓ P_%@`  βi0_↓↓`_%@@  βip βip_β@ip_β@i` βi`_β@i`_β@` _'``_↓@iP_β@` _&@`p_↓iP_β@`⊂_&@`p8&a0&@A _"Q
q⊂¬α@HαT!∧x¬S@P α∪@08↓S 0H↓S@H↓S0P↓R`0X↓R`0X↓R`0X↓R@0X↓R@0X↓R@0P↓R@0P↓R`0@↓R`08α∩`@ αS↓4h∧∪`D("≤αq@∂Ep_β↓
0↓↓iqλ'@` 0↓@i`_↓A P_'`0 βi`_↓@`p_'@0 β@j0_∧j0_∧j0_∧j _∧j _∧j _∧j _β@j⊂ β↓
⊂(α↓
⊂(↓A
⊂X(`⊂8(`0_(j_'@ip_'@ip_'i`_%BI X%BHT 8DC⊃x
α@_↓∀↓λ↓SaTpα↓Thα↓@Dh↓A`D`↓BD`↓B4X↓B 4X↓B 4X↓B 4P↓B 4P↓B 4P↓B 4P↓BDP↓A`DX↓A TX↓Ad`ε∪↓4pα@5 ↓U5_↓T`5_↓T`5⊂↓T@4hε∪↓dhε⊃(G⊂GαA α``0&↓` P&↓`⊂`%@`00βi0_↓A!_%@`0 ∧↓	0_↓A↓ %@@0 ¬J (j_'A	p_'@ip_'i`_'i`_&@i`⊂"Q∞1_¬α@HβT!5εS`@8↓S@@8α∪@0@α∪@4p↓S`tx¬∀!∃0αV5H↓R`0X↓R@@P↓R@@Hα∩@@@α∩ad`ε∪A∧("≥↓q8∞G!⊂⊂)j _)j⊂_(@j⊂_(@j_%βI x%βIp_'@ip_'@i`_'i`_'iP_&@iP_βiP_βi@_βi@_αA	@ ↓A	PH'↓ip "Q∞Q0
¬α@ αα $hβα4`βB4`↓@@00↓R`0_↓A@4X↓@@08↓R`0⊂↓A`4X↓`00↓S`08↓S`08↓S`08↓S@08↓S@08↓S@08↓@@4p↓A@@⊂↓S@00↓@@4p↓A @⊂↓S@0 α@@4xπSaλβ∀ @(↓Q(G0εBA α@a0⊂&Aa_&α↓⊂_&`0_∧i0_αa_%@`@_∧i0_↓@a⊂_%@@@_∧j_∧@j_∧@j_∧@ip_∧@ip_∧@ip_∧ip_∧ip_βA	p_β@j_α↓
X(B
0("Q∞q8∞¬α@λ↓B 0↓∩`@8↓A 4Xα↓`0(↓S 0(↓A@4h↓A 00↓S 0(↓A@4`↓A@00↓S0(↓A@4`↓A 00↓R`00↓A@4X↓A@00↓R@00↓A@4P↓A@00↓R@00↓A@4P↓A @(↓R@0(α↓ 4P↓A @ α∩@@_αA4XλSpλ∧∪ @(α⊃(G@εBA β↓P 'α⊂@&DI@ α↓ @_&``_α@i0_β@`@ %@`p_α↓	0⊂β@``⊂*j@_*j0_)@i0_α@`p_%@`P_β@i  α↓`_%↓@ αA	0_↓A @ %DI@8B	P αAλT <EC!x
↓ 0X↓∪ pH↓S pH↓S0_↓A`4Xα`08↓R`0_↓B4X↓@`0@↓R`  ↓A`5↓B5↓B5↓B4x↓B4x↓B4x↓B4x↓A`Dx↓A@Dx↓A@Dx↓Aeε∀↓5⊂α@ 5@↓V58↓U`4`↓A`4`α↓ D`↓A D`↓AD`¬∪!∧pαQ(GPεBA ∧A`⊂(B@_(βip αα	` βA)`_∧↓	`_βA
p *A*@()A
  β@*(β@ip(∧i` ∧@iP ¬i@8βA	@Hα↓	1λ%↓P@%@A "Qα↓Eα@(α∪@th∧∪@_↓R`@ ↓R`0(↓R`0 ↓R` (↓T 5λ↓T 5↓T4x↓A 4x↓A 4x↓A4p↓A 4p↓A4x∧Sa¬λα⊃(Aλ	¬cq ¬A
0@)α*⊂ αj⊂_α@j_βj_βj⊂βk_,k_+@jp_+@jp_+j`_+j`_*@jP_*@jP_*j@_*j0_%@@P %↓0 %αI H&↓(T F#"@∞De@¬∃aE0α↓@50↓A`50↓A`5(↓B5(↓B5(↓A`5λβA`5λβA@5λβ↓@E ↓A E ↓AE ↓A5 ↓A5_↓A 5_↓A 5_↓A E_↓A@5_↓A`5⊂↓B5⊂↓B 5⊂↓B 5⊂↓@@⊂(↓T@0λ↓A5λ↓@@0_↓T 0⊂∧T 0_βT 0 α∀ 5↓T5↓T4X↓@4Pα 4PβR@tXαS4("εBqX
¬↓@⊂↓A
@`)CJ⊂P↓@jPαip ↓↓P_'↓0_αA	P ↓A@ &↓@_Ai@_αBI0_βα	0_α@`⊂λ%``_%``_%`P %`@(∧I _α↓@`_%`08α↓)!(%B ⊂@&@` ⊂↓AλT 
Ec1 
↓`08α∀`_βS`p⊂∧S@@⊂β@`4hα`` ↓S 0 αA 4`↓A @(α∪0(α↓DX↓A@0λβR`00¬∩`00∧∩@00↓@ ∀P↓A@4P↓A@4P↓A DP↓AP@↓∩@0 β↓@4X↓@@0λ↓ATX∧A$`βa∧h↓A`D("πβ⊃`⊃Fb`⊂/Ap_/kP .@k@_+α*@P)αj⊂(↓A*⊂_α↓J_α@`⊂_'A@_↓ip_α↓ _'`P_↓@i`_α`@_'`0 αiP_α`@_&@`0_α@iP_↓↓@_&@` _α@i`0α@i`0α↓	`(↓A)pX'αI`_A	P_&↓	@_%@i  %i ⊂"Qλ⊃0π#Qα⊗ UHαV0λ↓⊗ λ↓U`0λ↓U`0λ↓U@0⊂↓U@0⊂↓U 0_↓U 0_↓U0 ↓U0 ↓U (↓T`0(↓T`0(↓T@00↓T@00↓T 08↓T!Uπ∀↓dx↓BDx↓BDp↓B Dp↓B 4h↓B@4P∧↓@tP∧A↓∀P∧↓@t("⊂C!`∞G px(D*⊃⊂*a )@a  )@a0_)@a0_)@a0_)a0_)a0_)a _)a⊂ (@a((CJ⊂p(Cj_∧A*_¬@j_¬@j_¬@ip_εip_εip_εip_¬@i`_¬A	`_¬↓	`_∧A	!_%∧I!"Qλ1H∂π#PhαA %(∧@@5_λ∀@P(βTP@αT@Pα∪`0`α∪@@`α∪ @h↓S 0x↓∪4`↓S4X↓R`4X↓R@4P↓R@4P↓R@0x↓∩@0p↓R`0h↓R`0`↓R`0Xα∪0Hα∪@0αS!Tp¬∀d("⊃β!X∞G px(D
⊃λ*`p()@a⊂ )@a  )@a0_)@a0_)a@_)a@_)a@_)a@_(@aP_(@aP_(@aP_(@aP_(aP_(aP_(aP_(a@_'@aP_'@a@_'@a0 '@a  'a  'a⊂ '`p(%D)!λ%CHT "Gβah∞AbUλ
T"U ↓C5_↓C5_↓C5_↓C5_↓C%⊂↓T@5⊂↓A@%⊂↓A@5λ↓A@5λε∀!Eλε∀00↓T00↓T08↓∀4x↓S`4x↓C $x↓C 4p↓C 4p↓C 4p↓C 4PRBdP⊃(D0∞πCQhβE*↓0(E*@_εj0_εj0_εj0_εj0_εJ _)j _βJ _βj⊂_βj⊂`(C
⊂`(``_(``_(`p⊂(ip_'@ip_'@i`_'i`_%αI X%αHT #EcAh∞CP ↓∃↓⊂λ↓TAuλαA eααDxαα Dx↓B@Dp↓B`Dhαα`4h↓C $`↓S4`↓R`4X↓R`4P↓B!∀P↓B!∀P↓B!∀P↓C 4P↓C4P↓C4P↓B`DX↓B TX↓B DXα↓`T`α↓thπ∪Aλ↓S`P ↓⊃(D@∞πCQhβB 0H(B 0H(B 0H*a⊂_)@a⊂_)@a⊂_)@a⊂_)@a⊂_)a⊂_)a⊂_)a⊂_)a⊂_(@a⊂_(Cj⊂x(Cj_∧@j_∧@j_∧@j_∧@ip_∧@ip_∧@ip_∧@ip_∧@i`_∧@i`_∧@i`_∧@i0@αα	 P↓αI0@ααλT $F#Qh∞Ab∃λ	∀"∃@↓U`58↓U`58↓U@50↓U@50↓U 5(↓U 5(↓U5 ↓U5 ↓T`5_↓T`5_↓T@5⊂↓T@4PλRB$PλQ(DPGCQhεBj`h+Bk@_-@k0_-@k0_-k _-k _,@k⊂_,@k⊂_,k_,k_+@jp_+@i0⊂¬i  ∧i  βA	  β↓	0`&αI`0"Q	1h∂π#P8∧A!¬λ∧A↓∃λ∧A!¬ ↓B 5_↓B 5_↓B5_↓A`5_↓A@5⊂↓A@5⊂↓A 5⊂↓A5⊂↓@`5λ↓@`Eλ↓@@Uλ↓@ eλβ 5β`5αA5α↓ 5↓A`4x↓B4x↓B4x↓BDx↓B 4p↓B@4p↓B@Dp↓B`4X∧↓`tP¬↓!∧X∧↓`t("∪αaH∞G pP(β
⊂P*j0_)@j0_)@j _)j _)j⊂_(@j⊂_(@j_(j_(ip_'@ip_¬@Ip_¬@i`_¬@i`_¬@i`_¬@i!(%¬	! "Q	Qx⊂π#P8βB@e∧α!¬λβB u_↓@ ⊂@↓ 5⊂↓@  8↓ 5⊂↓@  8↓ 5⊂↓@  0↓@ 5⊂↓@ 0(↓@5λ↓@@0 ↓@ 5λ↓@@0 ↓@5λ↓@@0_↓@@5λ↓@@0_↓`5↓@`0⊂↓@@5↓@`0⊂↓`5↓@`0λ↓@`5↓@`0λ↓↓4x↓A λ↓@`4x↓AP ↓S`0 α↓ 4x↓A  0↓S@0h↓S@0h↓S@0h↓S@0h↓S 0h↓S 0h↓S 0h↓RA@∧∩A@∧∩A@∧⊃(Dp∞πCQhβB@H(B@H(B@H*`⊂λβ@j0_@@`_)@`⊂⊂βj0_@@`_)@`⊂⊂βj _↓@P_)` ⊂α@j _↓@P_)` _αj⊂_↓@`0_(@`0_↓@j⊂_↓@`0_(@`0_↓@j_α` _(`@_↓j_α` _(`@_↓ip_α@`⊂_'@`P⊂↓ip_α@@ _'@`P⊂↓i`_β@⊂_'``⊂@i`_β@⊂_%B@0%α@0(%BP "Q	q8∞π#PP¬∀!uλ∀@@αS`@Pα∪`0Xα∪@0`α∪@0`↓S@0`↓S 0h↓S 0h↓S 0h↓S0h↓S0h↓S0h↓S0h↓R`0h↓R`0h↓R`0h↓R`0h↓R@@`↓R@0h↓R@0h↓R@0`↓R@0`↓R@0X↓R@P8αRB∧Xπ∪↓4("∀β1h∞G px(D*⊃⊂*a()@a  )@a0_)@a0 )@a0 )a@_)a@_)a@_)a0_(@a0 (@a  (@a((Cjp(β
_(ip_'@ip_'@i`_'i`_%α) P%α(T (EcB ∞BA%λπTα¬ααTxαα@Dx↓B`Dp↓CDp↓C4p↓C4h↓C 4h↓C 4h↓C 4`↓C 4`↓C 4`↓C 4`↓C 4X↓C 4X↓C 4X↓C 4X↓C 4P↓C 4P↓C 4P↓A 0(↓R@0(α`4P↓A @_↓R@00↓@@4PαA↓∧Pλ∩ad`¬UE α∃E(↓U E(α∃@4("∀C↓P∞G ph(Cj⊃*`P()@a )@a )@a⊂_)@a⊂_)a⊂_)a⊂_)a_)`p (@``((C*⊂X(Bj_β@j_β@j_∧j_∧ip_∧ip_∧ip_∧ip_∧i`_∧`0_'a_↓@i`_∧`  %Bp8%α@`0%B↓ "Q
1H∞π#Phβ↓% ¬@ 5_λ∀@P0β∀ @Hα∀ 0X↓T0`↓T0`↓S`0h↓∪`5↓T5λαT!∃_∧UA¬Pα↔5`↓W5`↓S p↓S0h↓S0`↓R`@Xα∩`@Pα∩``8α∩b∧P↓@!DX↓↓t("∃β↓x∞G !0%Ei18%@`p_β@i _β@`p_%`p_β@i _β@`p_%A_β@J0_)@j0_)@j _)j _)j⊂_(@j⊂_(@j_(j_(ip_'@ip_%αi `%αhT *FD↓h∞@A⊂(∧S↓  ¬∪↓⊂(∧S`0X↓S@0X↓S@0X↓S@0X↓S@0X↓S 0X↓S 0X↓S 0X↓S 0X↓S0X↓S0X↓S0X↓S0X↓R`0X↓R`0X↓R`0X↓R`0X↓R@0X↓R@0X↓R@0X↓R@0P↓R@0Hα∩`08α∩`@ αS↓4h∧∪`D("∃Bqx∞G ⊂8βB	 HαB)08βB	@ ¬@i@ ¬i@ ¬i@ ∧@i@ ∧@i@ ∧i@ ∧i@ β@i@ β@i@ βi@ βi@_βi@_βi@_α@i@_α@i@_αi@_αi@_↓@i@_↓@i@_↓i@_↓i@_↓I@_@i@_@I@0&↓)P_"Q
qP⊂π#P⊂βB t`∧↓a∀`βB th↓C@4h↓C@4h↓C 4h↓C 4h↓C 4`↓C 4`↓C 4`↓C 4`↓C4`↓A@ ↓S0_αA$`↓@@`_↓S _β`4X↓@` λ↓@`$X↓@@0λ↓@@4X↓@@0λ↓@@4X↓@ 0⊂↓@@$X↓@ 0⊂↓@ 4X↓@ _↓@ $X↓ 0_↓@$P↓@   ↓ 4P↓@   ↓ $P↓  (↓ $P↓  (↓ $PαA DPα↓@DP↓A`4("⊗β1h∞G!8αα
⊂H↓B
 8αα
@_β@j@ αA
@ α@jP_αjP_↓A
P ↓j`_@j`0+↓J`(+@j` +↓
P(*`⊂_)@` _)@` _)`0_(@`P_(↓P_(``_'@`p 'a⊂_'a⊂_%α`8%αPH%α`8"Q⊃8∂G#PλβAa∧P∧A!∀XβAa∧h↓B@4h↓B Dhαα4hα↓`4p↓A@Dp↓A@4p↓A 4pα`4x↓@`4x↓@@4x↓@ 4x↓@ 4xβ∀E↓T5↓S`4x↓S`4x↓S@4p↓S@4X∧∩A$X∧⊃(EP∞πCQh∧Dj! )¬
 _ε↓
⊂_ε↓
⊂_εj⊂_¬@j⊂⊂¬@kP_.k0_-k⊂_,jp_+jP *↓
0 )↓
⊂ (↓↓ ⊂'A↓0_'@a@_'a@_&@aP_&a`_%E)!(%EλT εcah∞AbE
T"E ↓B`5_↓B`5_↓B`5_↓B`5_↓B`%⊂↓T@5⊂↓T@5λ↓T 5λ↓T 5↓T5↓T4x↓S`4x↓S`4p↓S@4p↓RA4P¬RA4(""a@∞G" ,A+⊂(,`⊂⊂,@ ⊂+@`⊂_+` _+` _*@`@⊂*@`@_*`P_*`P_)@``_)↓`_)`p_(@a_(@a_(a⊂_(a⊂_'@a _'@a _'a0_&A↓0_&@a@_&↓↓@_&aP_%@a`_%E)!0%¬(T ↓¬cAh∞BA%λπTα¬ααTxαα@Dx↓B`Dp↓CDp↓C4p↓C4h↓C 4h↓C 4h↓C 4`↓@`0λ↓@`4`↓@`p_↓S0_β@`4`↓@`p_↓R`0_β@`4X↓@`0λ↓@`4X↓C 4X↓C 4P↓C 4P↓C 4P↓C 4P↓C4P↓C4P↓B`4PαA`TPλ∩ad`¬Q(@_εβQhλ↓⊂(,A+_@K⊂@jp_@jp_@j`_↓j`_↓jP_↓@jP_↓@j@_αj@_αj0_α@j0_α@j0_α@j _βj _βj⊂_β@j⊂_β@j_∧j_∧ip_∧@ip_∧@i`_∧A	`_∧A	P_¬↓	 @αB	 Hαα) @αBλT απβah∞BαEλ
T"Uλ↓C`5λ↓∧$8βα⊂XT 0H↓T!uλπT!uλ↓α@%λB`∀8β@ !↓∩`0x↓RbTP
RbD("↓#Ap∞G q((E*⊃(*a⊂_)@a⊂_)@a⊂_)@a⊂_)@a⊂_)a⊂_)a⊂_)a⊂_)a⊂_(@a⊂_(@a⊂_(@a⊂_(@a⊂_(a⊂_(a⊂_(a⊂_(a⊂_'@a⊂_'@a⊂_'@a⊂_'@a⊂_'a⊂_'a⊂_'a⊂_%B@@%α@ P%B@@"Qa`∂π#P@
∀"Uλ
T@0p↓T@0h↓T@0h↓T`0`↓T`0`↓∀`5 ↓U5 ↓U 5(↓U 5(↓U5_α∀@Eλα∀ 5↓S`@X↓∪@@`↓S @`↓S 0h↓S0p↓RbTP
RbD("↓bQh∞G P β↓	P8α↓I@_↓`0⊂↓@i0_α@ ⊂αi0_α@⊂⊂α@i _α@@⊂⊂α@i _αA`_)↓
  )j _)j⊂_(@j⊂_(@j_(j_(ip_'@ip_'@i`_'i`_%αI P%αHT ∧¬#1h∞B!%⊂¬Ta%0↓U 5(↓U 5⊂∧∀↓DpπS P⊂↓@@T`α↓0_αR`0(↓A DP↓A@00↓R@00↓A@4P↓A@00↓R@0(↓A@4P↓A 0(α∩@@ ↓ADPβ@0λβ∩at`εS`uλ↓T5↓T4`¬∩a4`¬⊃(@H
G#QhβB*X(B*@_)@j0_%@p_βI _β`@(%↓@_αA	0_α`@_%@`@_αi0_α`@_%`@_αi _α`@_%`@_αi _α`0_%`0_αi _↓@`0_%`0_↓↓	0_↓α	0`&α)`('@i`_'i`_%αI P%αHT ¬εCAh∞C@u0¬U↓e_αA`E⊂αα@5λαβ5λ↓C 5↓C@5↓C@4x↓C`4x↓C`4x↓C`4x↓C@4x↓C@4x↓C 4x↓CDx↓C4x↓B`4x↓B`4x↓B@4x↓B E↓B5↓A`5↓A@E↓A@4X↓`0(↓@@$X↓@@0(↓@@4X∧↓!∧P∧↓!∧XβA@t("αAP∞G!0()B* X(A@ (↓` 'A↓_'@a⊂_'a _&@a0_&@a@⊂&aP⊂&a@_%@aP_%@aP_%@aP_%@aP_%aP_%aP_%aP_%a@_%a@_%a0_%a  %↓↓⊂_%@a_%A`_%A 0 &αIP@'↓(T _Dαah∞C@%8↓U@E(αUU_β∪a$xβ 4xα@5(↓U 5(↓U5 ↓U5 ↓T`5_↓T`5_↓T@5⊂↓T@5⊂↓T 5λ↓T 4PπRB∧PπQ(C⊂εcQhε↓J@P)βJ⊂(β↓* ¬ip εi` ε@i`_πiP_π@i`⊂π@kp_/k`_.@k0(,AJp0*AJ00(AJ('A↓@_'↓↓P_&A↓P_&↓↓`_&↓a _%B`P(%E	 _βαI0⊂∧A(T →FβAh∞Cu_ε∀AeλαA`Eαα@4xαβ4x↓C 4x↓β@5p↓W@5h↓WEHβ∀AE⊂¬∀a∃Hα⊗@5X↓V`5X↓R` p↓R@@h↓R@@`↓R@0`α∩@0Xα∩@@8β∩at`ε∪@t("
αq@∀π"0⊂.k@_.k0_-@k0_-k _,@k⊂_,@k_+A
p_+j`_*@j@ )A@⊂)@`@_)`P_(AP_(↓`_'A`_'↓p_&α @_%D)!8%@A`,α+_+@jp_+@jp_+j`_+j`_+HT ~EcAh∞Ab¬λλ∀α∃↓T5↓S`4x↓S`4x↓S@4p↓@@dpεSAdhβ↓@Dhαα 4p↓α@5X↓V`5X↓V@4P↓C 4Pαα`DP↓C4P↓B`4P↓B TPα↓@dXεS↓4pβ⊃(C0πβQhεAJPP)C* (βj⊂ βA
 ∧↓	p ¬I` 'iP_&↓	@_↓AI@_BI1%A``_%A!⊂_%↓! _%↓↓@_%aP_%aP_%a@_%a@_%a@_%a0_%a  %@a %AP(&β	PH'A(T ≠FCqh∞A  _αB $p↓@!8↓SAP αS p ¬S P8∧S@PβS0pα∩`0x↓R`0p↓R` pα⊗`5Pα⊗@5H↓V 5@↓V58↓U`50↓U@50↓U 5(↓U 5 ↓U5 ↓T`5 ↓⊃(C@πβQhε↓j@X)βJ⊂(β↓* ¬↓
_¬A	p_ε@ip_ε@i`_ε@ip_εip_¬@ip ∧↓
h)α*⊂X'A @(&A↓⊂ &↓↓0 %A↓P_%@a`_%ap_%ap_%ap_%a`_%↓↓@ %↓!  %A `0&βIP`'AhT ≤Ec1h∞C U(∧TaE⊂αA Eλαα5αα 4xαα`4x↓C4p↓C 4p↓CDp↓CDp↓C4p↓C4p↓B`Dx↓Bdxα↓!¬πT! λ↓T`P ↓V`5Pα⊗@5H↓R` Xα∩@@Hα∩@@@α∩@08αRaTX¬S t("	αaH∞G"_,↓jp@+↓0_+`@_*@`P_*@`@ *@`@ *`P_*``λ*j@_)@jH'BjH)j _)j _(@j⊂_(@j⊂_βI@8βi0@βi Pα↓	!λ%↓@ @%@`` "Q∧ap⊂π#PXαC%_∧α@5⊂¬α 5λα↓0@↓T@ αα5↓A@08α∪`1λ↓S`1↓S@1α∪@0⊂ααTp¬↓@dp¬↓↓∀pα@@0 α@4pα`0_↓A4h¬@`0 ↓S↓0 ↓A4`↓@`00β 4X↓C@Pλ↓R`1↓@ 4X↓E4P↓E4P↓E4X↓D@4X↓D DXαβ`D`αβ DhαB TpλT↓U⊂∧Q(Cx	εcQhβAipX&CI@(β@i0 ¬i  ¬@i  ¬@i  ¬i0⊂¬↓
P()AJ⊂0'AI`(&A0⊂&@`@_&`@_&B)P@'Aλp(↓@i@ &↓)@ &@HT πDBQh	β %0α∃ U(αU@48αB Eλ∧∀↓∃↓@`4x↓A5↓@U⊂β∀dpβ∪ T`α∩`@P↓∩@@Pα∩@0Xα∩@0X↓R@0Pα∩@@8αRad`¬S@t("π#Ap∞G!A*D*a+@` _αj`_↓`@_+` _αj`_↓`@_*@`0_αJP_↓j@_↓@j@_↓@j0_αj0_↓@j _αα* _ααJ⊂ αα*⊂_αj⊂_αjX(αipX'@`P_'``_α@I`_β`P_&@``_α@iP_β`P_&@``_α@i 8↓C) 8↓β) 8↓CλT ∂πβqh∞B"5λ
Tαeα↓ P(↓S`08α↓ 4x↓A`@(↓S@0@α↓ 4p↓B@(↓∪@0@↓S 0H↓S 0@α∪ 0@α∪0H↓S0H∧S0@¬S0@¬∩`0H↓R`0H↓R`0@α∩`0@α∩@0H↓R@0H↓R@0@α↓ $P↓B@(↓R@0@↓A 4P↓A`@(↓R@@(αA 4P∩BT`	Q(AxG∧bλ	@kP_.k@_*αJ⊂x(∧
 β↓ip β`⊂ '@`p_A	`_β@`  '`p_↓i`_β`0_&@`p_↓@iP_β`@_&@``_αi@_β`@_&``_αi@_α@`P_&`@ α@i0_α@`P_%@`@_βi0_α``_%@`0_β@i _α``_%`0_β@i _↓@`p_%` _β@i _↓`p_%`⊂_β@i 8αA)!%CI@X&i0_%↓	 _"Q∧⊂Xπ#P8↓TUαTTxαS`TxαS`Dxα∪@TpαS@Dpα∪ ThαS Dhα∪ D`α∪ 48α@ 4Pα∩@TPα∩`$("βA1_∞DA⊂(A
((↓*⊂_#A P_'↓	` '↓	` &A)P &A	@(&↓)@ &↓	0(%A)0(%↓) (%↓)  %@HT ⊃FβAh∞C 0↓∃ @ α∃ @ α∃P_αU@ α∃@ α∃@ α∪b$p
∪"Tp
∀ P_αT @ α∀ @ α∀P_αT@ α∀@ α∪`P_αS`@ α∩bDP
RbD`	∪P_αS@ α∪@ α∪@ α∩`P_αR`@ α∪0(↓Q(B(G$b⊂∧@a ⊂)↓! (AA (↓`p((`⊂_β↓*_@`` '@` _αA)p_↓`P '@` _α↓)p_@`@('` _α↓	p0α↓)p0↓A)p(α↓
_α↓*p +↓*P(*A
@()A*0 )↓*  (A*((↓`⊂'A @('↓ @8'↓P_@iP(α` _&AP_↓i@(α@` _%A P_↓i0 β` _%↓ `_@i  ∧↓I  ∧↓)0⊂¬hT ∪BB`x∞A@4xαS`TxαTEλ↓T 5↓T4xα∪@Dhα∪DXα∩@DX↓⊃(B@	π$r⊂λK +A*P(*↓*0 )↓
⊂ (↓
_'@i` 'iP_&@i@_&i@_%@i0_%@i _%i _%i _%i _%i _%@i0_%@i@_&↓	P_'i`('A
⊂⊂"Q¬⊃⊂
Id P↓∀`E α∃ E0α∃`5@↓V5@↓V 5H↓V 5H↓V 5H↓V 5H↓V 5H↓V 5H↓V5@↓V58↓U`50↓U E(↓U5_α∀@Eλα∀Dxα∪@D`αR`TPα∩`$("
BQX
ε!@⊂*@jP_*@j@_&↓@_α@i@(↓@` 0&A@⊂P'βJP(AIpP&CI00@`⊂0%↓ 0_↓↓I _α@`@ (@j⊂_(@j⊂_(@HT ∃E#1(C%(α∃ E αUE α∃E_αT`DX	RBTP
Rb5⊂α∀@EλαT Eλα∀ EαTEλ↓Q(B`∧D!@(α@iP0&AIP0&AI`((ip_'↓	@(%↓I  %HT ↔↓B⊂(α@@$PαR@dPβ∩@TX↓Q(Bx∞πDb⊂@L  1↓⊂(0↓, /A+`(/↓P(.↓+0(-A (,A+⊂ ,↓*p(+A
`(*A*P *↓*0()A
 ((A*⊂ (↓)p('A	`(&A)P &↓)0(%↓)  %@HT ≥αBQ 
↓ 4pαS@dhβ∪@Tx↓Qa⊂⊂↓∩@TPβ∩@dPαR`4("∞aQ(
E↓_(A*⊂0(↓J⊂()hpHα@IP(&AIP0&A)` '@i`_&A	@ %↓)  %HT ≡Ec@X
b4`
SαTh	Q`@λ	RBTP
Rb4("⊂αaX∞G!`(*B*0`)↓@@_(A↓_(↓P_@ip αα)` ααI`_α↓ (&@`@ α↓	@ α`P &`@_β↓	@_α``_%@`@_β@i0_α`p_%@`@_β@i _α`p_%`@_β@i _α``_%`@_βi _α@`@_%`P_↓A	0_αα)0_αAi@_αA	@ ∧@IP β↓)`h'Bj⊂0"Q10∂ID Pε∀aU_εT`5_↓T@5⊂↓T@5⊂↓T 5λ↓T 5λ↓T5↓T5↓S`4x↓S`4x↓S@4p↓S@4p↓S 4h↓S 4h↓S4`↓S4`↓R`4X↓R`4Xε∩ATXε⊃(Eh¬db⊂¬β
0h*βP_.@k@_.k@_.k0_-@k0_-@k _-k _-k⊂_,@k⊂_,@k_,k_,jp_+@jp_+@j`_+j`_+jP_*@jP_%C) h%CλT 0αC⊂x⊂A`%α∪`Dpα∪ D`α∩`DX↓R`4P↓R@4Pα∩@TPαR@TX↓Q(A⊂∧E@ah@I  %A	@ &A)` (HT 	Bc 0∞B %λα∪`dhβ∪TXα∩`4("¬↓qXαF`⊂¬I  αAI 0Ai@P'↓*λ"QαQλ∞↓#Pλ↓β$P↓B`4P↓B@DPλ∩adh¬⊃(A0λG!X∧	!λ%∧λT Abp(∞@@DXβ∩@ _↓∩@ ⊂↓R@dXα⊃(A@εDa@⊂∧J⊂_(@j⊂_(↓J⊂0*j@_*j (%β	 X%αλT /βc 0∞B%αSA∧`β TXαATPαα4XB`∀("∨B!`αG `_β@I`0α↓	@H↓↓)0(↓α	  αAI0⊂β@hT ?CC0 ∂ 00↓R@@(α∩@P αR@@(α∩` 8↓⊃(Bh	F@1D)!_%∧i1λ"Q↓A G#Pp↓∃`E8α∃`E0α∃@E0α∃@E(α∃ E(α∃ E α∃E α∃E_α∀`E_α∀`DP↓A @(↓R@P_α`TXα@@@λβ∪ @λ∧SA4x∧Teλα∀ 5λ↓⊃(@X
G#Qh¬@J@ )A* 8(B
P'βI08A⊂0%↓@  α↓	0_α↓P_)↓
  (A
⊂ (A
⊂ (↓
 (↓
 'A	p 'A	p '↓	` '↓	` 'i`_"QπA0∞F#1⊂↓V`UHβUa¬0βU↓¬_βT tx∧∪@t`∧∩`tPβ∩@TXαSThαS@Txβ∀eλβ∀@e αU U0α∃`$("∂BaPF``_'A)p0(↓J ()A*@(*A*`(+AK0,AK 0,Ak8+↓j@@)Aj⊂@(↓i`8&α	08%↓i (%@HT_¬x␈␈␈␈x⊂↓(␈␈␈␈X␈␈␈␈pD)!_%∧i1λ"Q@X	D λ↓∩@DPα∩@TXα∩`DXα∩`DXα∩`T`α∪D`α∪D`αS Dhα∪ Dhα∪ DhαS@Dpα∪@Dpα∪@Txα∪`Dxα∪`Dxα∪`Uα∀Eα∀EαT Eλ↓Q(G`εEdb⊂¬J0 )A
0 )A
 ()↓
  )↓
⊂((A
⊂ (A
((↓
 (↓	p('A	p 'A	`('↓	` '↓	P(&A	P &A	@(&↓	@ &↓	0(%A	0 %A	 (%@hT =Ecb0⊃∧@UH∧∃a%0β∃@5(↓U 5(↓U 5 ↓U5 ↓U5_↓T`5_↓T@5αRA$P∧∩A∀xα∀ 5λ↓T 5↓T5↓T4x↓S`4x↓S`4p↓S@4xα∪a∃λβT`T("∨#↓P∪λA ()B
@@,A _-k _-k _,@k⊂_,@k⊂_,k_,k_,↓⊂@-αH+A*` +j`_*@jP_*@jP_*j@_*j@_)@j  (↓)0H%α)0("Q∧!λ
CC` S 08α∪@8α∪@8α∪@8↓S08α∩`@8α∩`@8α∩`0@↓R`0@↓R`08α∩@@8↓R@0@↓R@0@↓R@0@↓⊃(@hβEAQh↓@iP &↓	@ &↓	@_&i0 %A	0_%@i0_%i0⊂"Q∧↓P
∧A0(↓∧ $x↓∧ $p↓∧ $p↓∧ $p↓∧ $p↓∧ $h↓∧ $h↓∧ $h↓∧ $h↓∧ $`↓∧ $`↓∧ $`↓∧ $`↓∧ $X↓∧ $X↓∧ $X↓∧ $X
RbD(wD
⊗ 2[NFH3~,W⊂⊂⊂iTH*∃≥r1[lFH7→n6_4→-V(⊂∃U@⊂≥∂↔2]n&H:→.":→/π wCfx7≥fλ1Y,'H:→>0u∂@¬S(ozGG@↓∨38↓∨38α␈␈␈␈(α⊂{β ∧→L ε↓␈0F@@3_@↔≡`⊂
↓ε01↓@g⎇@1Pαf⊂β∃⊂{↓β ∧→L ε9?0αF@@3_@
α≡`0
↓ε01↓P@⎇@qPαf⊂β-@{αβ ∧→L εg?0∧F@@3_@
i↑`P
↓ε01↓`∂⎇A1Pαf⊂¬$⊂{ββ ∧→L 
>∨0εF@@3_@⊗/↑`p
↓ε01α_z=AqPαf⊂∧~x{∧β ∧→L αA∨0λF@@3_@¬∪↑a⊂
↓ε01α@u=B1Pαf⊂¬∂x{¬β ∧→L 
"O0
F@@3_@∀K>a0
↓ε01αH#=BqPαf⊂¬∃_{εβ ∧→L 
-/0F@@3_@¬(}aP
↓ε01X≡=C1Pαf⊂↓:_{πβ ∧→L βαO0∞F@@3_@⊂␈≡ap
↓ε01α⊂A⎇CqPαf⊂∧0P{λβ ∧→L ≤∨0⊂F@@3_@⊃n>b⊂
↓ε01α`>⎇D1Pαf⊂∧Bx{	β ∧→L λ∞∂0∩F@@3_@∩'↑b0
↓ε01αf⎇DqPαf⊂∧T8{
β ∧→L 	-o0∀F@@3_@∩q>bP
↓ε01α0∞=E1Pαf⊂∧f_{β ∧→L 	Ro0⊗F@@3_@∀x↑bp
↓ε01α0[⎇EqPαf⊂∧lP{β ∧→L π∀∂0_F@@3_@∞D}c⊂
↓ε01↓h-=F1Pαf⊂β[X{
β ∧→L πBO0~F@@3_@∂∨}c0
↓ε01↓pk=FqPαf⊂βsx{∞β ∧→L πs/0≤F@@3_@⊂↓}cP
↓ε01α8∂⎇G1Pαf⊂∧t{∂β ∧→L 
R∨0≡F@@3_@∪[}cp
↓ε01αPf=GqPαf⊂∧⊗⊂{⊂β ∧→L 	q∂0 F@@3_@ε%>d⊂
↓ε01h∧=H1Pαf⊂↓W({⊃β ∧→L β;∂0"F@@3_@π∩}d0
↓ε01pW=HqPαf⊂↓p8{∩β ∧→L βno0$F@@3_@π{}dP
↓ε01↓→=I1Pαf⊂απh{∪β ∧→L ∧∨O0&F@@3_@λR>dp
↓ε01↓⊂β=IqPαf⊂α+({∀β ∧→L ∧e∂0(F@@3_@	`}e⊂
↓ε01↓ ε=J1Pαf⊂αH({∃β ∧→L ¬≥∂0*F@@3_@
O}e0
↓ε01↓(\=JqPαf⊂αcλ{⊗β ∧→L ¬\O0,F@@3_@U>eP
↓ε01↓8[=K1Pαf⊂¬↓H{↔β ∧→L 
e∨0.F@@3_@∀≠↑ep
↓ε01αHE⎇KqPαf⊂¬08{_β ∧→L 
_?00F@@3_@λ}f⊂
↓ε01C=L1Pαf⊂∞H{→β ∧→L $o02F@@3_@f}f0
↓ε01λo=LqPαf⊂$_{~β ∧→L V/04F@@3_@↓I}fP
↓ε01_;=M1Pαf⊂=({≠β ∧→L ↓	o06F@@3_@α&}fp
↓ε01(∞=MqPαf⊂XH{≤β ∧→L ↓;∂08F@@3_@β∪}g⊂
↓ε010]=N1Pαf⊂p({≥β ∧→L ↓hO0:F@@3_@βd>g0
↓ε018␈=NqPαf⊂↓¬h{≡β ∧→L α≠/0<F@@3_@∧N}gP
↓ε01H]=O1Pαf⊂¬=_{∨β ∧→L 
oo0>F@@3_@⊗
≡gp
↓ε01αHT=OqPαf⊂¬≤8|@αh;`{⎇xow{⎇x